1. Automated deduction-a basis for applications
Author: / edited by Wolfgang Bibel and Peter H.Schmitt
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic,Symbolic and mathematical,Automatic theorem proving
Classification :
QA
76
.
9
.
A96
1998
